схемы (логического) вывода

схемы (логического) вывода
Information technology: inference machinery

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "схемы (логического) вывода" в других словарях:

  • ЭЛЕКТРОННЫЕ СХЕМЫ — графические изображения и элементы многочисленных и разнообразных приборов и устройств электроники, автоматики, радио и вычислительной техники. Проектирование и разработка базовых электронных схем и создаваемых из них более сложных систем как раз …   Энциклопедия Кольера

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …   Философская энциклопедия

  • Логика — Гр …   Википедия

  • Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия

  • ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …   Математическая энциклопедия

  • теория —         ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»